principia-rewrite/TeX package samples, branch master Russell and Whitehead's Principia Mathematica written in in Coq Deleted superseded files, fixed typos 2021-02-03T23:10:08+00:00 Landon D. C. Elkind 2021-02-03T23:10:08+00:00 a32839d6c14a7d9e689e52dfe321091c8fafb517